$\forall$${\it es}$:ES, $i$, $x$:Id. state@$i$$\backslash\backslash$$x$ $\in$ Type